s{-}filter($p$;${\it as}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$reduce($\lambda$$a$,$l$. if $p$($a$) then s{-}insert($a$;$l$) else $l$ fi ;[];${\it as}$)